Skip to content

Update uv_build version to 0.13.5 - #2149

Merged
rgommers merged 1 commit into
mainfrom
bot/update-uv-build-version
Oct 26, 2026
Merged

rgommers merged 1 commit into
mainfrom
bot/update-uv-build-version

Conversation

@github-actions

@github-actions github-actions Bot commented Oct 5, 2026 •

Copy link
Copy Markdown
Contributor

Automated update of uv_build version bounds for uv 0.13.5.

This PR was created automatically by the cron workflow, ping @konstin for problems.

@github-actions
github-actions Bot force-pushed the bot/update-uv-build-version branch from 0003845 to 06a8667 Compare October 12, 2026 06:41
@github-actions github-actions Bot changed the title Update uv_build version to 0.12.23 Update uv_build version to 0.13.0 Oct 12, 2026
@github-actions github-actions Bot changed the title Update uv_build version to 0.13.0 Update uv_build version to 0.13.1 Oct 19, 2026
@github-actions
github-actions Bot force-pushed the bot/update-uv-build-version branch from 06a8667 to 73059b7 Compare October 19, 2026 06:34
@github-actions
github-actions Bot force-pushed the bot/update-uv-build-version branch from 73059b7 to db1375e Compare October 26, 2026 06:34
@github-actions github-actions Bot changed the title Update uv_build version to 0.13.1 Update uv_build version to 0.13.5 Oct 26, 2026
@rgommers rgommers added the type: maintenance Regular maintenance of the guide, CI and repo label Oct 26, 2026
@rgommers
rgommers marked this pull request as ready for review October 26, 2026 16:39

@rgommers rgommers left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM. See gh-1899 for why this bot workflow exists; running it weekly seems a bit excessive to me, but might as well merge it once in a while.

@rgommers
rgommers added this pull request to the merge queue Oct 26, 2026
Merged via the queue into main with commit 52d1ead Oct 26, 2026
8 of 10 checks passed
@rgommers
rgommers deleted the bot/update-uv-build-version branch October 26, 2026 16:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

type: maintenance Regular maintenance of the guide, CI and repo

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant